لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
عبدالرزاق حسامی فر
کوروش صفوی
سید محمد علی حجتی
نتایج 1 تا 10 از مجموع 13
1
2
مقاله ژورنالی
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسندگان:
سیدمحمدعلی حجتی
،
وحیده عامری
سال انتشار 1389
محل انتشار:
فصلنامه اندیشه دینی شماره 34، دوره 10
تعداد صفحات:
20
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
صوری سازی رابطه مفهومی شمول معنایی در سطح واژه از منظر زبان شناسی ریاضی
نویسندگان:
مریم رمضانخانی
سال انتشار 1400
محل انتشار:
دوفصلنامه علم زبان شماره 13، دوره 8
تعداد صفحات:
21
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
نقد و بررسی کتاب تاریخ فلسفۀ تحلیلی: از بولتسانو تا ویتگنشتاین
نویسندگان:
عبدالرزاق حسامی فر
سال انتشار 1399
محل انتشار:
پژوهشنامه انتقادی متون و برنامه های علوم انسانی شماره 3، دوره 20
تعداد صفحات:
22
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
صوری سازی روابط مفهومی در سطح جمله از منظر زبانشناسی ریاضی
نویسندگان:
مریم رمضانخانی
سال انتشار 1398
محل انتشار:
دوفصلنامه علم زبان شماره 9، دوره 6
تعداد صفحات:
39
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
صوری سازی رابطه ی مفهومی تقابل معنایی در سطح واژه از منظر زبانشناسی ریاضی
نویسندگان:
مریم رمضانخانی
،
کوروش صفوی
سال انتشار 1397
محل انتشار:
فصلنامه زبان پژوهی شماره 29، دوره 10
تعداد صفحات:
25
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارایه یک روش صوری برای مدلسازی راستی آزمایی سیستم های گردش کار زمانی
نویسندگان:
افسون سلطانی
سال انتشار 1393
محل انتشار:
نهمین سمپوزیوم بین المللی پیشرفتهای علوم و تکنولوژی
تعداد صفحات:
12
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روشی برای مدلسازی آنتولوژی ها با کمک شیوه های طراحی پایگاه داده در مهندسی نرم افزار
نویسندگان:
مریم داستانی
،
داوود کریم زادگان مقدم
،
سیاوش فلاح دوست
سال انتشار 1394
محل انتشار:
نخستین کنفرانس بین المللی فناوری اطلاعات
تعداد صفحات:
12
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
بررسی کاربردهای شبکه های پتری در مهندسی نرم افزار
نویسندگان:
نونا قاسمی
،
معصومه شهرامی راد
سال انتشار 1392
محل انتشار:
اولین کنفرانس ملی نوآوری در مهندسی کامپیوتر و فنآوری اطلاعات
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
استفاده از روش صوری برای بهینه سازی سیستم شبکه خانگی
نویسندگان:
سیدمجتبی سالاری
،
محمدجواد فتاحی
سال انتشار 1390
محل انتشار:
اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
تعداد صفحات:
5
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
TDEM مدل اعتماد و اطمینان آگاه از معنا در شبکه های تجاری نظیر به نظیر و مبتنی بر منطق پویای شناختی احتمالی
نویسندگان:
سیدمحمدمهدی قطبی
،
رضا عزمی
سال انتشار 1388
محل انتشار:
پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 1 تا 10 از مجموع 13
1
2